Application-Oriented Algebra
نویسندگان
چکیده
منابع مشابه
An Application Oriented Real-Time Algebra
ion, using a notion of re nement instead of bisimulation. In this paper we adopt the rst approach, using a timed process algebra for representing designs, and relying on model-checking (or at least hand veri cation of timed logic speci cations) as our proof method. Having said that, there is a large literature on timed logics and proof techniques (including modelchecking) [21, 22, 23, 24, 25, 1...
متن کاملOriented Conformal Geometric Algebra
In [12] Stolfi developed a complete theory of Oriented Projective Geometry. He showed that assigning meaning to the sign of an otherwise homogenous representation of geometry could provide a multitude of benefits. This paper extends his work by applying the same approach to Conformal Geometric Algebra. Oriented Conformal Geometric Algebra allows intuitive manipulation of such concepts as half-s...
متن کاملA Commutative Algebra for Oriented
Let V be a vector space of dimension d over a field K and let A be a central arrangement of hyperplanes in V . To answer a question posed by K. Aomoto, P. Orlik and H. Terao construct a commutative K-algebra U(A) in terms of the equations for the hyperplanes ofA. In the course of their work the following question naturally occurred: ◦ Is U(A) determined by the intersection lattice L(A) of the h...
متن کاملMoving Toward Application-Oriented Research System
As the head of Pharmaceutical Sciences Research Centre and a member of the Editorial Board, I am delighted to preface this edition of IJPR, with appreciation of all the efforts behind it. Health research should be considered as a tool to help policy makers, industries and others to tackle problems, improve the quality of life and build healthy communities. So, besides basic research, that ha...
متن کاملMoving Toward Application-Oriented Research System
As the head of Pharmaceutical Sciences Research Centre and a member of the Editorial Board, I am delighted to preface this edition of IJPR, with appreciation of all the efforts behind it. Health research should be considered as a tool to help policy makers, industries and others to tackle problems, improve the quality of life and build healthy communities. So, besides basic research, that ha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Computers & Mathematics with Applications
سال: 1979
ISSN: 0898-1221
DOI: 10.1016/0898-1221(79)90046-4